Perspectives of Model-Based Testing Dagstuhl Seminar
نویسندگان
چکیده
From 05.09.04 to 10.09.04, the Dagstuhl Seminar 04371 Perspectives of Model-Based Testing was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
This report documents the program and the outcomes of Dagstuhl Seminar 16201 “Synergies among Testing, Verification, and Repair for Concurrent Programs”. This seminar builds upon, and is inspired by, several past seminars on program testing, verification, repair and combinations thereof. These include Dagstuhl Seminar 13021 “Symbolic Methods in Testing”; Dagstuhl Seminar 13061 “Fault Prediction...
متن کاملMeta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)
Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141) Bernadette Charron-Bost, Stepahn Merz, Andrey Rybalchenko, and Josef Widder 1 Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen 17 Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151) Stephen Kobourov, Martin Nöllenburg...
متن کاملDagstuhl Seminar Perspectives of Model-Based Testing
Software testing Software invades everywhere in our society and life, and we are increasingly dependent on it. This applies to all kinds of software: software in safety critical systems such as airplanes, in consumer products, in mobile phones, in telecom switches, in pace makers, in process control systems, in financial systems, in administration systems, etc. Consequently, the quality of soft...
متن کاملPerspectives Workshop: Digital Social Networks Dagstuhl Seminar
From 24.01.2010 to 29.01.2010, the Dagstuhl Seminar 10041 Perspectives Workshop: Digital Social Networks was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas...
متن کاملCrowdsourcing: From Theory to Practice and Long-Term Perspectives (Dagstuhl Seminar 13361)
This report documents the program and the outcomes of Dagstuhl Seminar 13361 “Crowdsourcing: From Theory to Practice and Long-Term Perspectives”. Crowdsourcing is a newly emerging service platform and business model in the Internet. In contrast to outsourcing, where a job is performed by a designated worker or employee, crowdsourcing means to outsource a job to a large, anonymous crowd of worke...
متن کامل